משרות דרושים Formal Verification Engineer - עמוד 18
בתפקיד מהנדס/ת אימות פורמלי, תהיה/י אחראי/ת על אימות ובדיקת נכונות של מערכות חומרה ותוכנה מורכבות באמצעות שיטות מתמטיות פורמליות. התפקיד דורש ידע מעמיק במתמטיקה, לוגיקה, אלגוריתמים ושפות תיאור חומרה כמו Verilog או VHDL. כישורים נדרשים כוללים חשיבה אנליטית, פתרון בעיות, תשומת לב לפרטים ויכולת עבודה בצוות. ביום-יום, תעבוד/י על פיתוח מודלים מתמטיים, כתיבת מפרטים פורמליים, ביצוע בדיקות אימות, ניתוח תוצאות ודיווח על ממצאים. זהו תפקיד מאתגר ומספק עבור בעלי חשיבה לוגית-מתמטית, הנהנים לפתור בעיות מורכבות ולהבטיח את האמינות של מערכות קריטיות.
-
SoC Formal Verification Engineer, Google Cloud
-
חיפה
Google
-
-
SoC Formal Verification Engineer, Cloud
-
חיפה
חברה בתחום אינטרנט ודיגיטל
-
-
Senior Formal Verification Engineer, Cloud
-
חיפה
חברה בתחום אינטרנט ודיגיטל
-
-
Principal Formal Verification Engineer
-
רעננה
NVIDIA
-
-
Senior Formal Verification Engineer, Google Cloud
-
חיפה
Google
-
-
Senior Formal Verification Engineer, Google Cloud
-
תל אביב - יפו
Google
-
-
Senior Formal Verification Engineer, Google Cloud
-
חיפה
Google
-
-
Formal Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Formal Verification Engineer
-
תל אביב - יפו
NVIDIA
-
-
Formal Verification Engineer
-
באר שבע
NVIDIA
-